COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Richard  says that  the  validity  of a  sentence  of set  theory  is
C00003 ENDMK
C⊗;
Richard  says that  the  validity  of a  sentence  of set  theory  is
obviously  decidable  if  it can  be  represented  as  a sentence  in
∀...∀∃...∃.M where M is built  up of ε ∪  ∩ \ {a,...,z} =.   Language
may have individuals.  Quantifiers  range over sets and ?individuals.
More    vaguely,   some   syntactically   specified   collection   of
comprehension terms  may appear.    Maybe no  quantifiers within  the
comprehension terms.